orthogonality of lines

行正交性